onto hpmpmprphism

满射同态